Scalable, Precise Context-Sensitive Top-Down Process for Modular Points-to Analysis
نویسندگان
چکیده
"!# $ % &' ( ) * &" + ," &-," ! " " . / 01 (2" 3 4 " "56 879 " :3 <;+= >?>?=A@*BDC E-E F?=HGJILK?K': M " N " , N 4 M ,( " M % * O " "!M," % % ( P@*=HQ C%RSIP %," 4 " T + . % % U VW 0X Y.01 O " / [Z\ (, ? [ ] 4 M ,( " M ^," ) (5_ ( "," % :\ _>?=AE BDQ =a`3b<E%F?=HGLILK?K':4 4 [ ! c ) / * a 4 U % (!# a " ( d _ ( , 4 [ ," " [ P % ," e 4 / , % (!# < a " ( ) 5 f \ 4 M " < &3 4 M (, ) ( g 01 O [ ", h O," % i !
منابع مشابه
Compaction Algorithm for Precise Modular Context-Sensitive Points-to Analysis
Points-to analysis is a critical component of optimization and software engineering tools. A higher degree of precision in this analysis can significantly benefit such tools if it can be provided with a reasonably bounded analysis cost. The focus of this work is to enable a fully context-sensitive modular points-to analysis under the flow-insensitive and inclusionbased intraprocedural setting. ...
متن کاملFlow and Context Sensitive Points-to Analysis using Higher Order Reachability
Computing precise (fully flow-sensitive and context-sensitive) and exhaustive (as against demand driven) points-to information is known to be computationally expensive. Therefore many practical tools approximate the points-to information trading precision for efficiency. This often has adverse impact on compute intensive analyses such as model checking. Past explorations in top-down approaches ...
متن کاملModular Lattices for Compositional Interprocedural Analysis
Interprocedural analyses are compositional when they compute over-approximations of procedures in a bottom-up fashion. These analyses are usually more scalable than top-down analyses which compute a different procedure summary for every calling context. However, compositional analyses are rare in practice, because it is difficult to develop such analyses with enough precision. In this paper, we...
متن کاملPick Your Contexts Well: Understanding Object-Sensitivity The Making of a Precise and Scalable Pointer Analysis
Object-sensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorly understood. For instance, for a context depth of 2 or higher, past scalable implementations deviate significantly from the original definition of an object-sensitive analysis. The reason is that the analysis ...
متن کاملEffect of Metacognitive Strategy Training and Perfectionism on Listening Comprehension Sub-Processes
The present study aimed to examine any possible relevance of perfectionism as a personal trait variable, in moderating the effectiveness of meta-cognitive instruction on bottom-up and top-down sub-processes of listening comprehension with a sample of EFL learners in Iranian context. To this end, 94 female EFL learners were selected from among 136 EFL learners at Andisheh Language Institute in M...
متن کامل